Formal Methods for Component Description, Coordination and Adaptation
نویسندگان
چکیده
Components, connectors and architectures have now made a breakthrough in software industry, leading to Component-Based Software Engineering (CBSE). In this paper, we argue for the pragmatic use of formal methods to design and reason on CBSE systems at an abstract level and to solve CBSE issues. We give some possible benefits of such an approach and list some of its open issues.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Formal Model of a Multi-step Coordination Protocol for Self-adaptive Software Using Coloured Petri Nets
Technology advances continue to make computing environments ever changing and more complex. In the presence of such environments software systems are increasingly expected to continue operating at run-time. As human intervention becomes costly, time-consuming and error-prone, these systems should be equipped with self-adaptation capabilities in order to adapt themselves in response to environme...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملSoftware Adaptation in Integrated Tool Frameworks for Composite Services
In this paper we present our work on the construction of composite services for distributed computing environments. In this work we take our theoretical results in formal techniques for exogenous coordination of software components and we apply these techniques to existing practical approaches to distributed systems in the area of service-oriented computing. We address major issues such as (a) ...
متن کاملA Logical Interface Description Language for Components
Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the seman...
متن کامل